On Detecting Conflict Between Proposed Updates
نویسندگان
چکیده
In the Heraclitus paradigm, a delta value or more simply, delta, is a concrete value that corresponds to a difference between database states. This paper presents the Heraclitus[OO] (abbreviated H2O) DBPL, which provides a syntax and semantics for working with deltas in the context of object-oriented databases. The paper also considers the use of deltas in connection with detecting conflict between pairs of proposed updates to a database. This is useful in contexts where multiple users are each creating and choosing between multiple possible updates. A semantically based notion of potential conflict between proposed updates is developed, along with several conservative approximations based on the use of different kinds of delta.
منابع مشابه
On Propagation-Based Concurrent Model Synchronization
The aim of concurrent model synchronization is to merge pairs of updates on interrelated models. For instance, this situation may occur in the context of model driven software development when the work is distributed between different teams. A first problem is that, if the updates are in conflict, this conflict is never explicit. The reason is that the updates do not interfere directly since th...
متن کاملConflicting XML Updates
The importance of XML as a universal data representation format has led to several efforts to integrate XML as a construct in a programming language. There has been growing interest in the addition of update operations in these languages, for example, to languages such as XQuery [20] and XJ [8]. These update operations (whether the semantics are mutating or value-based) support concise and decl...
متن کاملTechnical Report Inesc-ID Lisbon Decoupling Causal Update Commitment Agreement from Update Propagation in Optimistic Replication
Optimistic replication protocols make progress towards consistency through a posteriori synchronization among replicas. During a single anti-entropy session, a number of correlated steps usually takes place: updates are propagated, a tentative update schedule is proposed, conflicts are detected and resolved, and commitment agreement evolves. For most existing solutions, the last the three last ...
متن کاملA New Method for Detecting Ships in Low Size and Low Contrast Marine Images: Using Deep Stacked Extreme Learning Machines
Detecting ships in marine images is an essential problem in maritime surveillance systems. Although several types of deep neural networks have almost ubiquitously used for this purpose, but the performance of such networks greatly drops when they are exposed to low size and low contrast images which have been captured by passive monitoring systems. On the other hand factors such as sea waves, c...
متن کاملSeparation Between Anomalous Targets and Background Based on the Decomposition of Reduced Dimension Hyperspectral Image
The application of anomaly detection has been given a special place among the different processings of hyperspectral images. Nowadays, many of the methods only use background information to detect between anomaly pixels and background. Due to noise and the presence of anomaly pixels in the background, the assumption of the specific statistical distribution of the background, as well as the co...
متن کامل